redouble something - German English Dictionary